41. Implementation and Application of Functional Languages
پدیدآورنده : edited by Marco T. Morazán, Sven-Bodo Scholz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.,Software engineering.
42. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
43. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
44. International Symposium on Programming :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
45. International Symposium on Theoretical Programming
پدیدآورنده : edited by Andrei Ershov, Valery A. Nepomniaschy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
46. Iteration Theories :
پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
47. LATINCRYPT 2017-Progress in Cryptology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
48. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
49. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
50. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
51. Logic Program Synthesis and Transformation :
پدیدآورنده : edited by Maurizio Proietti.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.
52. Logic Programming and Databases
پدیدآورنده : by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
53. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
54. Logic and Complexity
پدیدآورنده : by Richard Lassaigne, Michel Rougemont.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
55. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
56. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
57. Logic of Programs :
پدیدآورنده : edited by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
58. Logical Methods
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
59. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
60. Logics in Artificial Intelligence :
پدیدآورنده : edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
